Principia Metaphysica * (draft)
نویسنده
چکیده
§6: The Theory of Meinongian Objects 31 ∗Copyright c © 1999, by Edward N. Zalta. All rights reserved. Please do not copy, reprint, circulate, or cite without permission from the author. This manuscript presents the a priori consequences of the theory of abstract objects. This theory has been developed and explained in print (Zalta [1983], [1988], [1993]) and in unpublished manuscripts (see the Bibilography). The latest version of this document can be obtained at the following URL: http://mally.stanford.edu/publications.html
منابع مشابه
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Principia Logico-Metaphysica proposes a foundational logical theory for metaphysics, mathematics, and the sciences. It contains a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that differentiates between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully repr...
متن کاملDraft : June 19 ,
In their 2000 paper, “A Note on Wittgenstein’s ‘Notorious Paragraph’ about the Gödel theorem,” Juliet Floyd and Hilary Putnam present a new analysis of Wittgenstein’s “notorious” remarks on Gödel’s first incompleteness theorem. A substantial portion of this analysis focuses on the following key claim. Let “P” be the “I am not provable” sentence from Gödel’s proof of incompleteness, and let “PM”...
متن کاملThe Triumph of Types: Principia Mathematica’s Impact on Computer Science
Types now play an essential role in computer science; their ascent originates from Principia Mathematica. Type checking and type inference algorithms are used to prevent semantic errors in programs, and type theories are the native language of several major interactive theorem provers. Some of these trace key features back to Principia. This lecture examines the influence of Principia Mathemati...
متن کاملRethinking Newton’s Principia
It is widely accepted that the notion of inertial frame is central to Newtonian mechanics, and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parall...
متن کاملAustralian Senior Mathematics Journal vol. 25 no. 1
“reasoning involving proof—the one compelling argument for teaching mathematics” in the new national draft curriculum (ACARA, 2010). The rationale for the subject Queensland Senior Mathematics B (Queensland Studies Authority, 2008) includes the aim that students should appreciate the “nature of proof” and “the contribution of mathematics to human culture and progress”. Although the study of pro...
متن کامل